Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
- Författare
- (Edited by Phillip James, Markus Roggenbach.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2017 | Tyskland, Cham | X, 223 sidor. 28 illus. online resource. | 978-3-319-72044-9 |